Interprétation du statut d’un audioguide

Révision de systèmes d’argumentation : changement minimal du statut des arguments

In this paper, we investigate the revision issue for argumentation systems à la Dung. We focus on revision as minimal change of the arguments status. Contrarily to most of the previous works on the topic, the addition of new arguments is not allowed in the revision process, so that the revised system has to be obtained by modifying the attack relation, only. We introduce a language of revision ...

Statut syntaxique des appositions en allemand du type Y, X ou Y - X ou Y(X)

Interprétation automatique de traces d'activités issues de différents contextes pour une modélisation du diagnostic

RÉSUMÉ. Les apprenants travaillent de plus en plus sur des environnements informatiques leur offrant un panel d’activités réalisables à l’aide d’outils de différentes natures, générant des traces d’activités qu’il faut considérer et combiner, afin d’établir un diagnostic aussi fin que possible de l’activité de l’apprenant. Cet article présente le modèle de diagnostic informatique DiagElec dont ...

Interprétation abstraite

Abstract interpretation is a theory of discrete approximation of the semantics of computer systems mainly applied to the static analysis and verification of software. MOTS-CLÉS : Interprétation abstraite, sémantique, vérification, analyse statique.

réflexions théoriques autour du statut épistémique du savoir dans la littérature

depuis les années 1990, une nouvelle visée critique est venue enrichir la liste déjà riche des perspectives de recherches appliquées à la littérature. aux investigations de type historique, textuelle, sociologique, etc. est venue s’ajouter une tendance critique aux contours encore indéfinis, mais dont la volonté première est de valoriser le rapport parfois apparent, souvent implicite, entre la ...